Assembling a Toolkit

Assembling a Device

We present here a new way of reasoning on a device based on structure, we call assembling a device. It consists of a symbolic combination of local qualitative constraints (namely confluences) leading to more global relations. Some reference variables are selected according to the task to be performed (simulation, observation, postdiction,...). The assembling step produces a set of equations exp...

D3 Toolkit: A Development Toolkit for Daydreaming Spoken Dialog Systems

Recently various data-driven spoken language technologies have been applied to spoken dialog system development. However, high cost of maintaining the spoken dialog systems is one of the biggest challenges. In addition, a fixed corpus collected by human is never enough to cover diverse real user’s utterances. The concept of a daydreaming dialog system can solve the problem by making the system ...

A Pursuit-Evasion Toolkit

This tutorial contains tools and techniques for designing pursuit and evasion strategies. The material targets a diverse audience including STEM educators as well as robotics researchers interested in applications of pursuit-evasion games. We start with a simple “lion and man” game in a square environment which should be accessible to anyone with a high-school level background on geometry and t...

A Theorist’s Toolkit

(a) Show that, similarly to Max Cut, the Max 2SAT problem can be expressed as an integer quadratic program in which the only constraints are yi ∈ {1,−1} and the objective function is a quadratic in the yi. (Hint: It may help to introduce a variable y0 to designate which of 1 or −1 indicates “true”.) (b) Derive a factor αGW ≈ 0.87856 approximation algorithm for Max 2SAT. (c) Consider the restric...

A Toolkit for Manipulating